Termination Analysis

Hasta-La-Vista: Termination analyser for logic programs

System Architecture / Termination Analysis / Type Inference